√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

linear logic中文什么意思

發(fā)音:   用"linear logic"造句
  • 線性邏輯
  • linear:    adj. 1.線的，直線的。 2.長度的。 3.【數(shù)學(xué)】 ...
  • logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
  • cellular linear input logic:    細(xì)胞線性輸入邏輯
  • -logic:    -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
  • and logic:    “與”邏輯
下載手機(jī)詞典可隨時隨地查詞查翻譯

百科釋義

    Linear logic is a substructural logic proposed by Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the dualities of the former with many of the constructive properties of the latter. Although the logic has also been studied for its own sake, more broadly, ideas from linear logic have been influential in fields such as programming languages, game semantics, and quantum physics,, as well as linguistics, particularly because of its emphasis on resource-boundedness, duality, and interaction.
    詳細(xì)百科解釋

相關(guān)詞匯

        linear:    adj. 1.線的，直線的。 2.長度的。 3.【數(shù)學(xué)】 ...
        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理 ...
        cellular linear input logic:    細(xì)胞線性輸入邏輯
        -logic:    -logic, -logical 〔構(gòu)成與 -logy 結(jié)尾的名詞相應(yīng)的形容詞〕表示“…學(xué)的”： biological, philological.
        and logic:    “與”邏輯
        logic:    n. 1.邏輯，理論學(xué)。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強(qiáng)制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強(qiáng)盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強(qiáng)制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
        logic-and:    邏輯“與”
        or logic:    或邏輯
        be linear with:    與...成線性關(guān)系
        linear:    adj. 1.線的，直線的。 2.長度的。 3.【數(shù)學(xué)】一次的，線性的。 4.【動、植】線狀的；細(xì)長的。 5.由線條組成的，以線條為主的，強(qiáng)調(diào)線條的。 linear amplification 直線放大。 a linear equation 一次方程式。 a linear leaf 線形葉。 linear arts 線條藝術(shù)。
        linear a:    線形文字a; 線性文字a
        no-linear:    非線性的
        linear linear:    線性的
        linear a and linear b:    線形文字甲和乙
        linear scan, linear scanning:    線掃查
        active logic:    有源邏輯
        actuating logic:    執(zhí)行邏輯
        adaptive logic:    適應(yīng)性邏輯（電腦）; 自適應(yīng)邏輯
        affective logic:    情感邏輯
        algebra and logic:    代數(shù)與邏輯
        algebra of logic:    邏輯代數(shù)
        algebraic logic:    代數(shù)邏輯
        algorithm logic:    運算邏輯
        algorithmic logic:    算法邏輯
        alternating logic:    交替邏輯

其他語言

相鄰詞匯

  1. linear load 什么意思
  2. linear load field effect transistor 什么意思
  3. linear loader 什么意思
  4. linear loading density 什么意思
  5. linear location 什么意思
  6. linear longitude 什么意思
  7. linear low density 什么意思
  8. linear low density polyethylene 什么意思
  9. linear low density polyethylene resin 什么意思
  10. linear low density polyethylene, lldpe 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.